Applied Algebra

Lectures on Applied Algebra

Some motivation: In this age of computers, algebra may have replaced calculus (analysis) as the most important part of mathematics. For example: 1) Error correcting codes are built into the CD player and the computer. Who do you call to correct errors? The algebraist, that’s who! 2) Digital signal processing (such as that involved in medical scanners, weather prediction, the search for oil) is ...

Applied Linear Algebra

Binary Relational Algebra Applied to Software Architecture

The architecture of a piece of software refers to its structure as given by its components and their interconnections. An architectural style is a set of commonalities among the structures of a number of software systems. We are concerned with architectures that are characterized by directed graphs. The graphs we are interested in contain edges that are "typed" or "colored", which means that th...

Modal Kleene Algebra Applied to Program Correctness

Modal Kleene algebras are relatives of dynamic logics that support program construction and verification by equational reasoning. We describe their application in implementing versatile program correctness components in interactive theorem provers such as Isabelle/HOL. Starting from a weakest precondition based component with a simple relational store model, we show how variants for Hoare logic...

Regular algebra applied to language problems

Many functions on context-free languages can be expressed in the form of the least fixed point of a function whose definition mimics the grammar of the given language. Examples include the function returning the length of the shortest word in a language, and the function returning the smallest number of edit operations required to transform a given word into a word in a language. This paper pre...